((v1 v1 7))
7
()